Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Quizás quisiste decir: mecanica the red proving
Si consideras que este artículo debería existir, conoces nuestros pilares, dispones de fuentes fiables y sabes indicarlas como referencias, puedes crearlo, opcionalmente usando nuestro asistente.
- de primer orden. Chang, Chin-Liang (1973). Symbolic Logic and Mechanical Theorem Proving (1 edición). Academic Press. Robinson,A. y Voronkov,A. (editores…6 kB (761 palabras) - 21:48 15 nov 2023
automática de teoremas (de siglas ATP, por el término en inglés: Automated theorem proving), que también puede ser denominada deducción automatizada, es actualmente…15 kB (1771 palabras) - 01:23 18 abr 2024
ISBN 9789812791078 Wen-tsun, Wu: Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving…7 kB (816 palabras) - 22:56 1 feb 2024
Chou, Shang-Ching (1988), «An introduction to Wu's method for mechanical theorem proving in geometry», Journal of Automated Reasoning 4 (3): 237-267, MR 975146…5 kB (711 palabras) - 06:36 29 jul 2022
